-
1 Gödel numbering of a formal system
нумерация Геделя для Формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе)Англо-русский словарь промышленной и научной лексики > Gödel numbering of a formal system
-
2 Weak Formal Weierstrass System
Physics: WFWSУниверсальный русско-английский словарь > Weak Formal Weierstrass System
-
3 документированная система контроля
3.1.11 документированная система контроля (Formal System): Комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально.
Источник: ГОСТ ИСО 14698-1-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 1. Общие принципы и методы оригинал документа
2.70 документированная система контроля (formal system): Комплекс мер по контролю биозагрязнений (2.25), включающий в себя методики, оформленные документально.
[ИСО 14698-1:2003, статья 3.1.11]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
Русско-английский словарь нормативно-технической терминологии > документированная система контроля
-
4 формальная система
formal system мат.Русско-английский научно-технический словарь Масловского > формальная система
-
5 геделевская нумерация формальной системы
Information technology: Godel numbering of a formal systemУниверсальный русско-английский словарь > геделевская нумерация формальной системы
-
6 деривативная формальная система
Mathematics: derivational formal systemУниверсальный русско-английский словарь > деривативная формальная система
-
7 документированная система контроля
Pharmacy: Formal System (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально)Универсальный русско-английский словарь > документированная система контроля
-
8 корректная формальная система
Mathematics: correct formal systemУниверсальный русско-английский словарь > корректная формальная система
-
9 модель формальной системы
Information technology: model of formal systemУниверсальный русско-английский словарь > модель формальной системы
-
10 формальная система
1) Computers: formal system2) Information technology: formalismУниверсальный русско-английский словарь > формальная система
-
11 формальная система рассуждений
Linguistics: formal system of reasoningУниверсальный русско-английский словарь > формальная система рассуждений
-
12 деривативная формальная система
Русско-английский научно-технический словарь Масловского > деривативная формальная система
-
13 корректная формальная система
Русско-английский научно-технический словарь Масловского > корректная формальная система
-
14 система с распределенными параметрами
1. distributed-parameter system2. distributed parameter systemРусско-английский научный словарь > система с распределенными параметрами
-
15 система допуска к работам
Economy: permit-to-work system (A permit-to-work system is a formal written system used to control certain types of work that are potentially hazardous)Универсальный русско-английский словарь > система допуска к работам
-
16 динамический контроль
1. dynamic controlсплошной контроль; непрерывный контроль — continuous control
2. dynamic testрежим " КОНТРОЛЬ " — TEST mode
Русско-английский большой базовый словарь > динамический контроль
-
17 аудит
аудит
Систематический, независимый и документированный процесс получения свидетельств аудита и их объективной оценки с целью установления степени соответствия критериям аудита.
Внутренние аудиты, иногда называемые «аудитами первой стороны», как правило, проводятся самой организацией или от ее имени для внутренних целей и могут служить основой для самодекларации о соответствии. Во многих случаях, особенно для небольших организаций, независимость может быть продемонстрирована тем, что лица, осуществляющие аудит, не несут ответственности за деятельность, которая является предметом аудита.
Примечание 2. К внешним аудитам относятся так называемые «аудиты второй стороны» или «аудиты третьей стороны». «Аудиты второй стороны» проводятся сторонами, заинтересованными в деятельности организации, например потребителями или другими лицами от их имени. «Аудиты третьей стороны» проводятся внешними независимыми организациями, например, осуществляющими регистрацию или сертификацию на соответствие требованиям стандартов ИСО 9001 и ИСО 14001.
Примечание 3. Аудит, предметом которого одновременно являются система менеджмента качества и система экологического менеджмента, называется комбинированным аудитом.
Примечание 4. Аудит одной организации, проводимый совместно двумя или более организациями, называется совместным аудитом.
[ http://www.14000.ru/glossary/main.php?PHPSESSID=25e3708243746ef7c85d0a8408d768af]
аудит
Формальное обследование и проверка на предмет соблюдения какого-либо стандарта или рекомендаций, точности ведения записей или достижения целевых значений эффективности и результативности. Аудит может проводиться внутренними или внешними службами. См. тж. оценка соответствия; сертификация.
[Словарь терминов ITIL® версия 1.0, 29 июля 2011 г.]
аудит
Проверка финансовой деятельности фирмы (компании, предприятия) независимым ревизором — аудитором. Независимая экспертиза и анализ финансовой отчетности хозяйствующего субъекта с целью определения ее соответствия действующему законодательству; выделяют два вида А.: внешний и внутренний. Он может осуществляться по инициативе компании (самоконтроль) и «по закону», то есть внешними контрольными службами по решению властей. См. также: Концептуальные корректировки финансовой отчетности, Корректировки финансовой отчетности сравнимых компаний - аналогов, Корректировки предыдущих периодов, Финансовая (бухгалтерская) отчетность (по МCФО), Финансовая (бухгалтерская) отчетность (по РСБУ).
[ http://slovar-lopatnikov.ru/]EN
audit
Systematic, independent and documented process for obtaining audit evidence and evaluating it objectively to determine the extent to which audit criteria are fulfilled.
Note 1. Internal audits, sometimes called first-party audits, are conducted by, or on behalf of the organization itself for internal purposes and can form the basis for an organizations self-declaration of conformity. In many cases, particularly in smaller organizations, independence can be demonstrated by the freedom from responsibility for the activity being audited.
Note 2. External audits include those generally termed second- and third-party audits. Second-party audits are conducted by parties having an interest in the organization, such as customers, or by other persons on their behalf. Third party audits are conducted by external, independent auditing organizations, such as those providing registration or certification of conformity to the requirements of ISO 9001 and ISO 14001.
Note 3. When a quality management system and an environmental management system are audited together, this is termed a combined audit.
Note 4. When two or more auditing organizations co-operate to audit a single auditee, this is termed a joint audit.
[ISO 19011]
audit
Formal inspection and verification to check whether a standard or set of guidelines is being followed, that records are accurate, or that efficiency and effectiveness targets are being met. An audit may be carried out by internal or external groups. See also assessment; certification.
[Словарь терминов ITIL® версия 1.0, 29 июля 2011 г.]Тематики
EN
4.5 аудит (audit): Независимая оценка программных продуктов и процессов, проводимая уполномоченным лицом с целью оценить их соответствие требованиям.
Источник: ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа
3.4 аудит (audit): Проверка, выполняемая компетентным органом (лицом) с целью обеспечения независимой оценки степени соответствия программных продуктов или процессов установленным требованиям.
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.3 аудит (audit): официальное исследование, изучение или проверка фактических результатов в сопоставлении с ожидаемыми относительно предполагаемых результатов в целях соответствия и исполнения требований нормативных актов.
Источник: ГОСТ Р ИСО/МЭК 18028-1-2008: Информационная технология. Методы и средства обеспечения безопасности. Сетевая безопасность информационных технологий. Часть 1. Менеджмент сетевой безопасности оригинал документа
3.5 аудит (audit): Служба, задачей которой является проверка наличия адекватных мер контроля и сообщение руководству соответствующего уровня о несоответствиях.
Источник: ГОСТ Р ИСО/ТО 13569-2007: Финансовые услуги. Рекомендации по информационной безопасности
3.1 аудит (audit): Систематический, независимый и документируемый процесс получения свидетельств аудита (3.3) и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита (3.2).
Примечания
1 Внутренние аудиты, иногда называемые «аудитами первой стороны», проводятся самой организацией или от ее имени для анализа со стороны руководства или других внутренних целей (например, для подтверждения намеченных показателей результативности системы менеджмента или для получения информации по улучшению системы менеджмента) и могут служить основанием для декларации о соответствии. Во многих случаях, особенно в малых организациях, независимость при аудите может быть продемонстрирована отсутствием ответственности за деятельность, которая подвергается аудиту, или беспристрастностью и отсутствием конфликта интересов.
2 Внешние аудиты включают в себя аудиты, называемые «аудитами второй стороны» и «аудитами третьей стороны». Аудиты второй стороны проводят стороны, заинтересованные в деятельности организации, например, потребители или другие лица от их имени. Аудиты третьей стороны проводят внешние независимые организации, такие как регулирующие или надзорные органы или организации, проводящие регистрацию или сертификацию.
3 Аудит двух или нескольких систем менеджмента для различных аспектов (например, качество, охрана окружающей среды, охрана труда), проводимый одновременно, называют «комплексным аудитом».
4 Если две или несколько проверяющих организаций объединяют свои усилия для проведения аудита одной проверяемой организации (3.7), такой аудит называют совместным.
5 Адаптировано из ИСО 9000:2005, статья 3.9.1.
Источник: ГОСТ Р ИСО 19011-2012: Руководящие указания по аудиту систем менеджмента оригинал документа
3.11 аудит (audit) (проверка): Систематический, независимый и документированный процесс получения свидетельств аудита и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита.
Примечания
1 Внутренние аудиты, иногда называемые «аудиты (проверки) первой стороны», проводятся обычно самой организацией или от ее имени для внутренних целей могут служить основанием для декларации о соответствии.
2 Внешние аудиты включают аудиты, называемые «аудиты второй стороны» или «аудиты третьей стороны».
Аудиты второй стороны проводят стороны, заинтересованные в деятельности организации, например потребители или другие лица от их имени.
Аудиты третьей стороны проводят внешние независимые организации, осуществляют сертификацию или регистрацию на соответствие требованиям ГОСТ Р ИСО 9001 или ГОСТ Р ИСО 14001.
3 Аудит систем менеджмента качества и экологического менеджмента, проводимый одновременно, называют комплексным аудитом.
4 Если аудит проверяемой организации проводят одновременно две или несколько организаций, такой аудит называют совместным.
[ ГОСТ Р ИСО 19011-2003, пункт 3.1]
Источник: ГОСТ Р 54298-2010: Системы экологического менеджмента. Порядок сертификации систем экологического менеджмента на соответствие ГОСТ Р ИСО 14001-2007 оригинал документа
3.2 аудит (audit): Систематический, независимый и документируемый процесс получения «свидетельств аудита» и объективного их оценивания с целью установления степени выполнения «критериев аудита».
[ИСО 9000:2005, пункт 3.9.1]
Примечания
1 Понятие «независимый» не обязательно означает внешний для организации. Во многих случаях, особенно в малых организациях, независимость может быть продемонстрирована отсутствием ответственности за деятельность, которая подвергается аудиту.
2 Для дальнейшего разъяснения терминов «свидетельство аудита» и «критерии аудита» следует обратиться к ИСО 19011.
Источник: ГОСТ Р 54934-2012: Системы менеджмента безопасности труда и охраны здоровья. Требования оригинал документа
4.4 аудит (audit): Систематический, независимый и документированный процесс получения записей, фиксирования фактов или другой соответствующей информации и их объективного оценивания с целью установления степени выполнения заданных требований (3.1).
Примечание - В то время как термин «аудит» относится к системам менеджмента, термин «оценка» применяется к органам по оценке соответствия, а также используется в более общем смысле.
Источник: ГОСТ Р ИСО/МЭК 17000-2009: Оценка соответствия. Словарь и общие принципы оригинал документа
3.2.63 аудит (audit): Систематический, независимый и документированный процесс получения свидетельств аудита и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
5.18 аудит (audit): Систематический, независимый и документально оформленный процесс (6.4), целью которого является получение свидетельств аудита (5.21) в результате проведения объективной оценки, предусматривающей определение степени выполнения критериев аудита (5.20).
Примечание 1 - Внутренние аудиты (5.18.1), называемые «аудитами первой стороны», проводятся самой организацией (3.4) или от ее лица для анализа со стороны руководства и других внутренних целей, и могут служить основой для самодекларирования соответствия. Во многих случаях, особенно в небольших организациях, независимость может быть продемонстрирована свободой от ответственности за деятельность, которая подвергается аудиту.
Примечание 2 - Внешние аудиты, как правило, включают в себя аудиты, проводимые второй и третьей сторонами. Аудиты, проводимые второй стороной, осуществляются сторонами, заинтересованными в деятельности организации, например потребителями или другими лицами от их имени. Аудиты, проводимые третьей стороной, проводятся внешними независимыми организациями по аудиту, например организациями, обеспечивающими регистрацию или сертификацию (3.10) на соответствие требованиям, установленным в ИСО 9001 или ИСО 14001.
Примечание 3 - Если аудиты систем менеджмента качества или системы экологического менеджмента (4.1) проводятся одновременно, то это называется комплексным аудитом.
Примечание 4 - Если две и более аудирующие организации объединяются для проведения аудита одного аудируемого субъекта (5.26), то это называется совместным аудитом.
[ИСО 19011:2002]
Источник: ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > аудит
-
18 Сист
General subject: Joint Capabilities Integration and Development System (JCIDS is the formal United States Department of Defense (DoD) procedure which defines acquisition requirements and evaluation criteria for future defense programs.) -
19 ФСПД
-
20 официальная система тревог
Military: formal alert system (НАТО)Универсальный русско-английский словарь > официальная система тревог
- 1
- 2
См. также в других словарях:
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
formal system — noun The grouping of a formal language and a set of inference rules and/or axioms. Syn: logical system, logical calculus, logic … Wiktionary
formal system — (or theory) A theory whose sentences are well formed formulae of a logical calculus, and in which axioms or rules governing particular terms correspond to the principles of the theory being formalized. The theory is said to be couched or framed… … Philosophy dictionary
formal systems — formal system … Philosophy dictionary
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia